Diagnosing Changes in An Ontology Stream: A DL Reasoning Approach
نویسنده
چکیده
Recently, ontology stream reasoning has been introduced as a multidisciplinary approach, merging synergies from Artificial Intelligence, Database and World-Wide-Web to reason on semantics-augmented data streams, thus a way to answering questions on real time events. However existing approaches do not consider stream change diagnosis i.e., identification of the nature and cause of changes, where explaining the logical connection of knowledge and inferring insight on timechanging events are the main challenges. We exploit the Description Logics (DL)-based semantics of streams to tackle these challenges. Based on an analysis of stream behavior through change and inconsistency over DL axioms, we tackled change diagnosis by determining and constructing a comprehensive view on potential causes of inconsistencies. We report a large-scale evaluation of our approach in the context of live stream data from Dublin City Council.
منابع مشابه
Ontological Stream Reasoning via Syntactic Approximation
Traditionally Description Logic (DL)-based ontologies are only used to capture static knowledge. Recently the fast development of the Semantic Web and its evolving data raises the requirements of reasoning services on dynamic knowledge streams. In this paper, we present an efficient ontology stream reasoning approach which combines the delete and re-derive algorithm and the syntactic approximat...
متن کاملTowards Temporal Fuzzy Query Answering on Stream-based Data
For reasoning over streams of data ontology-based data access is a common approach. The method for answering conjunctive queries (CQs) over DL-Lite ontologies in this setting is by rewritings of the query and evaluation of the resulting query by a data base engine. For streambased applications the classical expressivity of DL-Lite lacks means to handle fuzzy and temporal information. In this pa...
متن کاملKnowledge-Management with OWL and F-Logic: A Combination of Description Logic Reasoning with F-Logic Rules
This thesis proposes an approach to combine the abilities of Description Logic reasoning with the expressiveness of F-Logic rules. Description Logics (DL) play a key role in ontology modeling for the Semantic Web, most notably as the underlying logic of OWL DL. However, their expressiveness is limited, in particular in conjunction with efficient reasoning. Furthermore, the logic programming par...
متن کاملAn Argumentative Approach to Reasoning with Inconsistent Ontologies
Standard approaches to reasoning with Description Logics (DL) ontologies require them to be consistent. However, as ontologies are complex entities and sometimes built upon other imported ontologies, inconsistencies can arise. In this paper, we present a framework for reasoning with inconsistent DL ontologies. Our proposal involves expressing DL ontologies as Defeasible Logic Programs (DeLP). G...
متن کاملA Semantic Approach to Ontology Merging in DL-Lite
This paper proposes a novel approach to merging DL-Lite ontologies by utilising an alternative semantic characterisation instead of classical DL models. The new merging process consists of two operators (TBox merging and ABox merging). These operators satisfy several desirable properties for merging, which in turn demonstrates the suitability of the new approach to DL-Lite merging. It is shown ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012